Definition of
... Clauses fully detailed
Boolean indicator
Clean